Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
381	An Ion Crystal Quantum Repeater — Theory concerning the implementation of a DLCZ quantum repeater in a particular experimental realisation of ion Coulomb crystals Add to Reading List Source URL: theoretical-quantum-optics.nbi.ku.dk Language: English - Date: 2015-09-01 09:57:59 Quantum mechanics Physics Theoretical computer science Quantum information science Quantum computing Emerging technologies Teleportation Cavity quantum electrodynamics Qubit Quantum entanglement Quantum teleportation Quantum decoherence
382	Dept Number Semester Hours CS 220 Course Title Add to Reading List Source URL: www.cs.siu.edu Language: English - Date: 2014-01-17 18:49:57 Computer programming Software engineering Computing Sorting algorithms Data types Theoretical computer science Programming paradigms Abstract data types Binary search tree Abstraction Recursion Merge sort
383	Lecture 30: Considerations When Using Collective Operations William Gropp www.cs.illinois.edu/~wgropp Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-04-13 14:27:53 Theoretical computer science Computer programming Software engineering Computability theory Computing Pipeline Algorithm Recursion
384	Modular Verification of Open Features Through Three-Valued Model Checking Harry C. Li Brown University, USA Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-05-02 20:58:40 Logic Mathematical logic Theoretical computer science Boolean algebra Logic in computer science Formal methods Classical logic Formal verification Model checking Modal logic Propositional calculus Temporal logic
385	Work in Progress Session T4F USE OF VISUAL TOOLS IN DISTANCE TEACHING OF COMPUTATIONAL MODELS Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2009-03-16 13:56:41 Formal languages Combinatorics Mathematics Automata theory Visualization Theoretical computer science Science Scientific modelling Regular expression Finite-state machine
386	The International Olympiad in Informatics Syllabus 1 Version and status information Add to Reading List Source URL: ioinformatics.org Language: English - Date: 2013-10-04 02:55:48 Computer programming Software engineering Mathematics Recursion Theoretical computer science Operations research Computability theory International Olympiad in Informatics International Science Olympiad Algorithm Sorting algorithm Computational complexity theory
387	http://www.wischik.com/lu/research/oldnames.html Old Names for Nu Lucian Wischik, Microsoft. JuneAbstract. There is a gap between theory and implementation of the pi Add to Reading List Source URL: www.wischik.com Language: English - Date: 2005-01-27 16:22:38 Mathematics Theoretical computer science Logic Abstraction Process calculi -calculus Lambda calculus Process calculus Limit of a function Quantifier Sheaf Jet bundle
388	Automation for Exception Freedom Proofs Bill J. Ellis and Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt University Edinburgh, Scotland, UK Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2004-11-10 11:53:13 Software engineering Formal methods Theoretical computer science Automated theorem proving Computing Loop invariant Mathematical proof Rippling Extended static checking Recurrence relation Automated reasoning Invariant
389	The Integration and Interaction of Multiple Mathematical Reasoning Processes: A Platform Grant Proposal. Case for Support Alan Bundy Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2005-03-23 10:49:26 Automated theorem proving Logic Cognitive science Theoretical computer science Reasoning Artificial intelligence Research councils Automated reasoning Alan Bundy Reasoning system Isabelle Mathematical proof
390	Spectral Graph Theory and Applications WSLecture 10: Pseudorandom Generators Lecturer: Thomas Sauerwald & He Sun Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2012-01-19 08:48:54 Pseudorandomness Theoretical computer science Cryptography Randomness Algorithmic information theory Pseudorandom generator Random number generation Randomized algorithm Pseudorandom number generator

UPDATE